Promising Directions in Hardware Design Verification (invited)
نویسندگان
چکیده
Ensuring the functional correctness of hardware early in the design cycle is crucial for both economic and methodological reasons. However, current verification techniques are inadequate for industrial designs. Formal verification techniques are exhaustive but do not scale; partial verification techniques based on simulation scale well but are not exhaustive. This paper discusses promising approaches for improving the scalability of formal verification and comprehensiveness of partial verification.
منابع مشابه
Promising Directions in Hardware Design Verification
Ensuring the functional correctness of hardware early in the design cycle is crucial for both economic and methodological reasons. However, current verification techniques are inadequate for industrial designs. Formal verification techniques are exhaustive but do not scale; partial verification techniques based on simulation scale well but are not exhaustive. This paper discusses promising appr...
متن کاملTowards Formal Verification on the System Level (Invited Talk)
Due to increasing design complexity and intensive reuse of components, verifying the correctness of circuits and systems becomes a more and more important factor. In the meantime, in many projects up to 80% of the overall design costs are caused by verification and by this, checking the correct behavior becomes the dominating factor. Formal verification has been proposed as a promising alternat...
متن کاملPanel on design for verification
Although research in automated verification has produced very promising results, the question of how to effectively integrate these results into the software and hardware development processes is still unresolved. Typically, fully automated verification techniques are not scalable, and scalable verification techniques require substantial user guidance. Alternatively, developers could facilitate...
متن کاملTowards Lightweight Satisfiability Solvers for Self-Verification (Invited Paper)
Solvers for Boolean satisfiability (SAT solvers) are essential for various hardware and software verification tasks such as equivalence checking, property checking, coverage analysis, etc. Nevertheless, despite the fact that very powerful solvers have been developed in the recent decades, this progress often still cannot cope with the exponentially increasing complexity of those verification ta...
متن کاملOpenRISC System-on-Chip Design Emulation
New computer systems like smartphones and tablets, are entering the market at an ever-accelerating pace. This brings enormous pressure on the product development teams to shorten the time-to-market. Driven by increasing design complexity and decreasing time-to-market, it demands innovative approaches to accelerating hardware design simulation, verification, and debugging. Recently the hardw...
متن کامل